Languages and Programming - PDFSEARCH.IO - Document Search Engine

Languages and Programming
Results: 5418

#	Item
51	TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Hardware description languages Synchronous programming languages Software engineering Formal methods Computing Electronic engineering Esterel SIGNAL Model checking Embedded system Real-time computing Esterel Technologies
52	asecondmouse \| Reflections on social science, politics and education Seven reasons I probably can’t help you get my open source software running on your computer Add to Reading List Source URL: philipschrodt.parusanalytics.com Language: English - Date: 2016-02-22 16:54:33 Computing Software engineering Computer programming High-level programming languages Source code Free software Open-source software Software Programmer Python Open-source model Comment
53	JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide • Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Computing Software engineering Computer programming Object-oriented programming languages Cross-platform software Concurrent programming languages Java platform Functional languages Scala Java virtual machine Foreach loop Java
54	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
55	Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract Add to Reading List Source URL: www.haumacher.de Language: English - Date: 2009-01-31 15:36:07 Computing Software engineering Computer programming Java Object-oriented programming languages Object-oriented programming Concurrent programming languages Cross-platform software Clone This Software design pattern Method
56	Web Based Computer Music UIs with Mongrel2 and Harbinger Toronto Perl Mongers August 2010 Web Based Computer Music UIs with Mongrel2 and Add to Reading List Source URL: softwareprocess.es Language: English - Date: 2010-08-26 23:21:21 Software Computing Cross-platform software High-level programming languages Scripting languages Harbinger Perl Mongers Perl Csound Mongrel
57	Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-15 17:47:12 Software engineering Computer programming Computing Functional languages Procedural programming languages Object-oriented programming languages Cross-platform software F Sharp Microsoft Research Eval D
58	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java
59	Copyright ©2005 by the Society for Industrial and Applied Mathematics This electronic version is for personal use and may not be duplicated or distributed. Chapter 6 Operators and Flow Control 6.1. Relational and Logica Add to Reading List Source URL: www.siam.org Language: English - Date: 2006-10-27 15:07:47 Software Computing Numerical linear algebra Array programming languages Cross-platform software Mathematical software Numerical software Array programming MATLAB Matrix For loop Relational operator
60	Introduction to Smalltalk, VisualWorks - Table of contents  Ivan TomekTable of contents Preface Part 1 Introduction to object-oriented problem solving and the Smalltalk language Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:18 Software engineering Computer programming Software Object-oriented programming languages VisualWorks Class Smalltalk Metaclass Object-oriented programming Widget Symbol Graphical user interface

UPDATE